Futures and promises - PDFSEARCH.IO - Document Search Engine

Futures and promises
Results: 282

#	Item
111	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Combinatory logic Lambda calculus Logic in computer science Futures and promises Evaluation strategy Monitor Forward contract Contract Computing Theoretical computer science Software engineering
112	Perl versiondocumentation - vars NAME vars - Perl pragma to predeclare global variable names SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:51:47 Perl Perl module Directive Vars Declaration Scope Futures and promises Software engineering Computing Computer programming
113	In Proc. 3rd Symp. on Networked Systems Design and Implementation (NSDI), San Jose, CA, May, 2006 Pip: Detecting the Unexpected in Distributed Systems Patrick Reynolds∗, Charles Killian†, Janet L. Wiener‡, Jeffrey Add to Reading List Source URL: issg.cs.duke.edu Language: English - Date: 2006-04-18 14:38:37 Parallel computing Thread Futures and promises Computer programming Software engineering Computing Software bug Pip
114	Email Prioritization: reducing delays on legitimate mail caused by junk mail Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2005-01-21 13:24:49 Computer network security Distributed computing architecture Inter-process communication Access control Software testing PlanetLab E Open proxy Futures and promises Computing Software engineering Computer programming
115	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
116	An Overview of Synchronous Languages Olivier Hermant CRI, MINES ParisTech 13 Octobre 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:47:54 Logic in computer science Formal methods Actor model Hardware description languages Synchronous programming languages Denotational semantics Clock Lustre Futures and promises Theoretical computer science Computing Software engineering
117	Page 1 of 4 Cross-Informant Comparison - Problem Items Common to the ASR/ABCL ID: Name: Maria G. West Add to Reading List Source URL: www.aseba.org Language: English - Date: 2015-03-30 12:29:26 American Broadcasting Company ABC1 Vermont Borderline personality disorder Futures and promises Computing Control flow Eval
118	Position-Verification in Multi-Channel Model Huajun Zhang, Zongyang Zhang and Zhenfu Cao Shanghai Jiao Tong University, Email: Abstract. We propose an efficient collusion-attack-resistant positio Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-01-01 05:20:19 Actor model Communications protocol Data transmission Protocols MCM Internet Relay Chat Channel IP Futures and promises Computing Information Data
119	Parallel and Concurrent Programming in Haskell Lab Exercises Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-06-20 11:31:07 Cross-platform software Procedural programming languages Concurrent Haskell Functional languages Functional programming Inter-process communication Haskell Monad Futures and promises Computing Software engineering Computer programming

UPDATE